TSTP Solution File: ITP291^4 by Nitpick---2016